TAGs: Dividing negative numbers